Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
51	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
52	The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/ Add to Reading List Source URL: spot.colorado.edu Language: English Large cardinals Mathematical logic Mathematics Abstraction Cardinal number Free Boolean algebra Model theory Mahlo cardinal Weakly compact cardinal
53	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid
54	Games and Economic Behavior 30, 44–doi:game, available online at http://www.idealibrary.com on Comparison of Information Structures Olivier Gossner1 THEMA, UMR 7536, Universit´e Paris Nante Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2005-10-17 11:52:39 Game theory Continuous game Expected value Interpretation Correlated equilibrium Mathematics Logic Philosophy
55	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
56	A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2009-07-30 04:03:12 Philosophy Logic Abstraction Philosophical logic Axiom Constructible universe Epistemology A priori and a posteriori Linear temporal logic
57	Inwagen, Peter van, Logic and the Free Will Problem , Social Theory and Practice, 16::Fall) p.277 Inwagen, Peter van, Logic and the Free Will Problem , Social Theory and Practice, 16::Fall) p.277 Add to Reading List Source URL: www.andrewmbailey.com Language: English - Date: 2011-02-24 11:10:38
58	Free of detachment: logic, rationality, and gluts∗ Jc Beall entailments.net April 1, 2013 Add to Reading List Source URL: homepages.uconn.edu Language: English - Date: 2013-04-01 09:57:52
59	Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-01-06 11:26:31 Theoretical computer science Mathematics Logic Mathematical logic Formal languages Logic in computer science Automated theorem proving Logic programming Rewriting Confluence Rewrite order Substitution
60	Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-08-13 12:55:46 Models of computation Type theory Formal methods Theory of computation Equivalence relation Monad Denotational semantics Parametricity Simply typed lambda calculus Modal logic Lambda calculus

UPDATE